61. Engineering methods in the service-oriented context
پدیدآورنده : Jolita Ralyte, Isabelle Mirbel, Rébecca Deneckère (Eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer-aided software engineering, Congresses.,Human engineering, Congresses.,Methods engineering, Congresses.
62. Engineering trustworthy software systems :
پدیدآورنده : Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer security, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computer security.,Computer software.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
758
63. Enterprise and organizational modeling and simulation :
پدیدآورنده : Robert Pergl, Eduard Babkin, Russell Lock, Pavel Malyzhenkov, Vojtěch Merunka (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Business-- Data processing, Congresses.,Management information systems, Congresses.,Business Process Management.,Computer Appl. in Administrative Data Processing.,Enterprise Architecture.,Information Systems Applications (incl. Internet).,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Business & Economics-- Information Management.,Business-- Data processing.,Business mathematics & systems.,Computers-- Computer Simulation.,Computers-- Data Processing.,Computers-- Information Technology.,Computers-- Software Development & Engineering-- General.,Information retrieval.,Management information systems.,Public administration.,Software Engineering.
رده :
T58
.
6
64. Environmental software systems :
پدیدآورنده : edited by Jiří Hřebíček, Ralf Denzer, Gerald Schimak, Tomáš Pitner.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Cloud computing, Congresses.,Environmental sciences-- Data processing, Congresses.,Sensor networks, Congresses.,Ubiquitous computing, Congresses.,Artificial intelligence.,Cloud computing.,Computer modelling & simulation.,Computers-- Computer Simulation.,Computers-- Data Processing.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Environmental sciences-- Data processing.,Information retrieval.,Information technology: general issues.,Network hardware.,Sensor networks.,Software Engineering.,Ubiquitous computing.
رده :
QA76
.
76
.
A65
65. Formal methods and software engineering :
پدیدآورنده : Jing Sun, Meng Sun (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
9
.
F67
66. Formal methods for industrial critical systems :
پدیدآورنده : Falk Howar, Jiří Barnat (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
F67
I58
2018eb
67. Formal methods for protocol engineering and distributed systems :
پدیدآورنده : edited by Jianping Wu, Samuel T. Chanson, Qiang Gao.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer network protocols -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,Formal methods (Computer science) -- Congresses.
رده :
QA76
.
9
.
F67
E358
1999
68. Formal methods: foundations and applications
پدیدآورنده : Jim Davies, Leila Silva, Adenilso Simao (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
F67
B73
2011
69. Foundations of software science and computation structures :
پدیدآورنده : Christel Baier, Ugo Dal Lago (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
751
.
F67
2018eb
70. Frontier computing :
پدیدآورنده : Jason C. Hung, Neil Y. Yen, Kuan-Ching Li, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science, Congresses.,Databases, Congresses.,Information technology, Congresses.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Databases.,Information technology.
رده :
QA75
.
5
71. Future generation information technology :
پدیدآورنده : Tai-hoon Kim [and others] (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science, Congresses,Information technology, Congresses
رده :
QA75
.
5
.
F45
2011
72. Future generation information technology :
پدیدآورنده : Tai-hoon Kim ... [et al.] (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic data processing, Congresses.,Information technology, Congresses.,Software engineering, Congresses.
73. Future generation information technology
پدیدآورنده : Young-hoon Lee ... [et al.] (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science, Congresses,Electronic data processing, Congresses,Information technology, Congresses,Software engineering, Congresses
رده :
T58
.
5
.
F98
2009eb
74. Grid and distributed computing :
پدیدآورنده : Tai-hoon Kim...[et al.] (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational grids (Computer systems), Congresses.,Electronic data processing-- Distributed processing, Congresses.
رده :
QA76
.
9
.
C58
G33
2011
75. ICT Innovations 2018 :
پدیدآورنده : Slobodan Kalajdziski, Nevena Ackovska (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Computational intelligence, Congresses.,Information technology, Congresses.,Telecommunication, Congresses.,Artificial Intelligence.,Computational Biology/Bioinformatics.,Computer Communication Networks.,Data Mining and Knowledge Discovery.,Information Systems Applications (incl. Internet).,Special Purpose and Application-Based Systems.,Artificial intelligence.,Artificial intelligence.,Computational intelligence.,Computers-- Computer Science.,Computers-- Database Management-- Data Mining.,Computers-- Expert Systems.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Data mining.,Expert systems-- knowledge-based systems.,Information retrieval.,Information technology.,Life sciences: general issues.,Network hardware.,Telecommunication.
رده :
Q342
76. ICT and critical infrastructure :proceedings of the 48th Annual Convention of Computer Society of India
پدیدآورنده : Suresh Chandra Satapathy, P. S. Avadhani, Siba K. Udgata, Sadasivuni Lakshminarayana, editors ; Hosted by CSI Vishakapatnam Chapter
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : Congresses ، Computer science,Congresses ، Information technology,Congresses ، Computer networks,Congresses ، Computer security,Congresses ، Computer networks - Security measures,، Engineering,، Computational Intelligence,، Artificial Intelligence )incl. Robotics(
رده :
QA75
.
5
77. IS Olympics
پدیدآورنده : Selmin Nurcan (ed.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer systems, Congresses,Computer-aided software engineering, Congresses,Information technology, Congresses,Systems engineering, Congresses
رده :
QA76
.
758
.
C33
2011eb
78. IT revolutions
پدیدآورنده : Mihaela Ulieru, Peter Palensky, René Doursat (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Information technology, Congresses,Software engineering, Congresses
رده :
T58
.
5
.
I27
2008eb
79. Informatics in schools :
پدیدآورنده : Sergei N. Pozdniakov, Valentina Dagienė (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer-assisted instruction, Congresses.,Education-- Data processing, Congresses.,Education-- Information technology, Congresses.,Computer Appl. in Social and Behavioral Sciences.,Computers and Education.,Educational Technology.,Software Engineering/Programming and Operating Systems.,Computer-assisted instruction.,Computers-- Data Processing.,Computers-- Software Development & Engineering-- General.,Education-- Computers & Technology.,Education-- Data processing.,Educational equipment & technology, computer-aided learning (Calif.),Society & social sciences.,Software Engineering.
رده :
LB1028
.
43
80. Information, Computer and Application Engineering
پدیدآورنده : \ editors, Hsiang-Chuan Liu, Wen-Pei Sung, Wenli-Yao
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Information technology -- Technological innovations -- Congresses.,Computer science -- Technological innovations -- Congresses.,Application software -- Development -- Congresses,تکنولوژی اطلاعات -- نوآوری -- کنگره ها ,کامپیوتر -- نوآوری -- کنگره ها ,نرمافزار کاربردی -- طراحی و توسعه -- کنگره ها
رده :
T
58
.
5
.
I5
2015
E-Book
,